Programming in Logic Prolog

Programmeertaal volgens de regels van de symbolische logica.